Adaptable transition systems

We present an essential model of adaptable transition systems inspired by white-box approaches to adaptation and based on foundational models of component based systems. The key feature of adaptable transition systems are control propositions, imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding adaptable interface automata, but it may be instantiated on other foundational models of component-based systems as well. We discuss how control propositions can be exploited in the specification and analysis of adaptive systems, focusing on various notions proposed in the literature, like adaptability, control loops, and control synthesis

Obesity-associated gut microbiota is enriched in Lactobacillus reuteri and depleted in Bifidobacterium animalis and Methanobrevibacter smithii

Background: Obesity is associated with increased health risk and has been associated with alterations in bacterial gut microbiota, with mainly a reduction in Bacteroidetes, but few data exist at the genus and species level. It has been reported that the Lactobacillus and Bifidobacterium genus representatives may have a critical role in weight regulation as an anti-obesity effect in experimental models and humans, or as a growth-promoter effect in agriculture depending on the strains. Objectives and methods: To confirm reported gut alterations and test whether Lactobacillus or Bifidobacterium species found in the human gut are associated with obesity or lean status, we analyzed the stools of 68 obese and 47 controls targeting Firmicutes, Bacteroidetes, Methanobrevibacter smithii, Lactococcus lactis, Bifidobacterium animalis and seven species of Lactobacillus by quantitative PCR (qPCR) and culture on a Lactobacillus-selective medium. Findings: In qPCR, B. animalis (odds ratio (OR) 0.63; 95% confidence interval (CI) 0.39-1.01; P = 0.056) and M. smithii (OR = 0.76; 95% CI 0.59-0.97; P = 0.03) were associated with normal weight whereas Lactobacillus reuteri (OR = 1.79; 95% CI 1.03-3.10; P = 0.04) was associated with obesity. Conclusion: The gut microbiota associated with human obesity is depleted in M. smithii. Some Bifidobacterium or Lactobacillus species were associated with normal weight (B. animalis) while others (L. reuteri) were associated with obesity. Therefore, gut microbiota composition at the species level is related to body weight and obesity, which might be of relevance for further studies and the management of obesity. These results must be considered cautiously because it is the first study to date that links specific species of Lactobacillus with obesity in humans. International Journal of Obesity (2012) 36, 817-825; doi:10.1038/ijo.2011.153; published online 9 August 201

SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts uses a new statechart notation and provides deterministic concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC. The key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. Conversely, Extended SCCharts contain a rich set of advanced features, such as different abort types, signals, history transitions, etc., all of which can be reduced via model-to-model transformations into Core SCCharts. This approach enables a simple yet efficient compilation strategy and aids verification and certification

Embedded Control: From Asynchrony to Synchrony and Back

Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than fifteen years, but especially during the Crisys Esprit project. We show that in contrast with the asynchronous tradition of computer scientists, control engineers were naturally led to a synchronous practice that was later formalised and generalised by computer people. But, we also show that, for the sake of robustness and distribution those practitioners had to incorporate some degree of asynchrony in this synchronous approach and we try to comment the resulting programming style.